基于全Z－Buffer的五轴铣削图形仿真

给出了实现五轴铣削图形仿真的全Ｚ－Ｂｕｆｆｅｒ方法，特别地，利用直线段、半圆弧和轮廓线的直扫曲面，对五轴轨迹分类给出了构造运动扫体表面的方法．     

美制螺纹量规设计执行国标的可行性分析

通过对美国联邦螺纹标准H28中FED—STD—H28/6《统一螺纹的量规和测量》和我国相应的国家标准GB3934《普通螺纹量规》在螺纹量规的分类、功能、特征、螺纹合格性判断及螺纹量规的中径公差等方面进行比较、分析,可得出结论:检验美制工件螺纹用的美制螺纹量规执行国家标准具有可行性和优越性,能满足美制工件螺纹极限尺寸的检验条件,适当延长量规使用寿命以及适合我国螺纹量规制造水平.     

建模与仿真校核、验证与确认综述

校核、验证与确认(verification, validation, and accreditation,简称VV&A)是必须贯穿于建模与仿真全生命周期的重要部分。文章综述了建模与仿真生命周期中的VV&A活动、原则、技术及其适用范围,以及V&V的分级方法。     

飞航导弹弹道仿真的校核、验证和确认

论述了仿真VV&A的重要意义,提出了飞航导弹弹道仿真VV&A的几条基本原则。提出了飞航导弹弹道仿真VV&A的基本思想和标准。建立了进行飞航导弹弹道仿真VV&A的步骤和方法。对于如何利用非同一母体的实飞数据对仿真数据进行校核和验证的问题提出了解决方案。为飞航导弹武器系统仿真和作战仿真提供了依据和参考。     

专家系统知识库验证：Ⅱ.基于决策表的知识库验证工具KBV

说明决策表和知识库之间的关系，详细介绍了作者开发的基于决策表的知识库验证工具ＫＢＶ。给出了在ＫＢＶ中检查冗余，矛盾，循环，守完备性的算法。ＫＢＶ能对包含特定规则，通用规则和框架的知识库进行验证。由于考虑了各子决策表之间的逻辑关系，ＫＢＶ得到的结果是全局的。     

牛顿科学的"推理规则"与科学发现的逻辑

牛顿在<自然哲学的数学原理>中提出的"哲学中的推理规则",不仅浓缩了牛顿时代有关科学方法论的许多内容,而且还蕴涵着在此之后有关"科学发现的逻辑"问题的历史变化的思想根源,甚至这一规则也可以作为今天"复活发现逻辑"的一个典型的科学史范例.     

面向FSAE竞赛的某赛车动力学仿真及试验验证

建立了考虑空气动力学因素的北京理工大学2010FSAE赛车多体动力学虚拟样机及2010中国大学生方程式汽车大赛耐久赛的赛道模型.在多体动力学仿真软件ADAMS/Car环境中,仿真了北京理工大学2010FSAE赛车的直线加速比赛和耐久赛首圈比赛过程.仿真结果表明,得到的赛车车速、车身纵向加速度和车身侧向加速度等数据与实测数据具有较强的一致性.验证了2010FSAE赛车多体动力学虚拟样机的准确性.     

靶向TTF-1的siRNA腺相关病毒载体组装验证

为了解决靶向TTF-1的siRNA导入肺腺癌细胞的问题,设计了3条靶向NCI-H1975细胞TTF-1基因的siRNA,并将其分别构建到腺相关病毒上.在293细胞中装配病毒,收获病毒原初液后进行超滤浓缩、层析柱纯化,测定病毒滴度.重组病毒感染肺腺癌细胞系NCI-H1975,通过Western-Blot实验检测siRNA效果,利用凋亡实验验证细胞生物学效应.Western-Blot实验测得siRNA有较好的干扰效果,凋亡实验测得肺腺癌细胞NCI-H1975产生了凋亡,从而证明具有感染性的靶向TTF-1的siRNA腺相关病毒载体组装成功.     

“钢瓶物联网”应用解决方案

阐述了"钢瓶物联网"的关系与功能,探讨了"钢瓶物联网"的技术实现,分析了"钢瓶物联网"的可行性,指出"钢瓶物联网"系统的应用和推广具有明显的经济价值和社会价值。     

结冰风洞绝热系统设计与实现

结冰风洞是研究飞行器表面结冰机理和防除冰方法的试验设备。典型的结冰风洞采用风扇或压缩机驱动的连续式风洞结构;并且一般设计有洞体绝热系统。绝热系统对结冰风洞性能、运行经济性等方面具有重要影响。通过总结某结冰风洞绝热系统的研制和使用经验,着重分析了结冰风洞绝热系统的传热计算方法和结构设计方案;并且通过实验研究对绝热系统的性能进行了验证。